верифицирующее условие

верифицирующее условие
(в технике доказательства правильности программ) verification condition

Русско-английский словарь по вычислительной технике и программированию . 2013.

Игры ⚽ Нужно сделать НИР?

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”